EPTCS 192 Proceedings of the Thirteenth International Workshop on the ACL 2 Theorem Prover and Its Applications
نویسندگان
چکیده
منابع مشابه
Fixed point theorem for non-self mappings and its applications in the modular space
In this paper, based on [A. Razani, V. Rako$check{c}$evi$acute{c}$ and Z. Goodarzi, Nonself mappings in modular spaces and common fixed point theorems, Cent. Eur. J. Math. 2 (2010) 357-366.] a fixed point theorem for non-self contraction mapping $T$ in the modular space $X_rho$ is presented. Moreover, we study a new version of Krasnoseleskii's fixed point theorem for $S+T$, where $T$ is a cont...
متن کاملOn the Expressiveness of Intensional Communication
Thomas Given-Wilson. On the Expressiveness of Intensional Communication. Johannes Borgström and Silvia Crafa. Combined 21th International Workshop on Expressiveness in Concurrency and 11th Workshop on Structural Operational Semantics, Sep 2014, Rome, Italy. Open Publishing Association, 160, pp.30-46, 2014, Electronic Proceedings in Theoretical Computer Science. <10.4204/EPTCS.160.4>. <hal-01026...
متن کاملWeighted Branching Simulation Distance for Parametric Weighted Kripke Structures
Cassting Workshop on Games for the Synthesis of Complex Systems and 3rd International Workshop on Synthesis of Complex Parameters (Cassting’16/SynCoP’16). EPTCS 220, 2016, pp. 63–75, doi:10.4204/EPTCS.220.6 c © L. Foshammer, K.G Larsen & A. Mariegaard This work is licensed under the Creative Commons Attribution License. Weighted Branching Simulation Distance for Parametric Weighted Kripke Struc...
متن کاملOn intermediate value theorem in ordered Banach spaces for noncompact and discontinuous mappings
In this paper, a vector version of the intermediate value theorem is established. The main theorem of this article can be considered as an improvement of the main results have been appeared in [textit{On fixed point theorems for monotone increasing vector valued mappings via scalarizing}, Positivity, 19 (2) (2015) 333-340] with containing the uniqueness, convergent of each iteration to the fixe...
متن کاملFan-KKM Theorem in Minimal Vector Spaces and its Applications
In this paper, after reviewing some results in minimal space, some new results in this setting are given. We prove a generalized form of the Fan-KKM typetheorem in minimal vector spaces. As some applications, the open type of matching theorem and generalized form of the classical KKM theorem in minimal vector spaces are given.
متن کامل